Functional verification - PDFSEARCH.IO - Document Search Engine

Functional verification
Results: 142

#	Item
131	VER210_11Mar04_Corporate.book Add to Reading List Source URL: www.vsi.org Language: English - Date: 2008-07-19 13:22:26 Cadence Design Systems Model checking Specification Technology Design Management Hardware verification languages E Functional verification
132	Lem: reusable engineering of real-world semantics Dominic P. Mulligan Scott Owens Kathryn E. Gray Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-11 10:57:39 Type theory Functional languages Logic in computer science Procedural programming languages Functional programming OCaml Proof assistant Coq Formal verification Software engineering Computing Programming language theory
133	Automotive Safety: Achieving ISO 26262 Compliance with Processor IP Part 2 of 2 By Paul Garden, Product Marketing Manager, ARC Processors, Add to Reading List Source URL: www.johndayautomotivelectronics.com Language: English - Date: 2014-05-03 12:08:39 Integrity Synopsys Verification and validation Technology Computer architecture Electronic engineering Functional Safety ISO Safety Quality management IEC 61508
134	Formal verification of a realistic compiler Xavier Leroy INRIA Paris-Rocquencourt Domaine de Voluceau, B.P. 105, 78153 Le Chesnay, France [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-04-07 07:40:29 Compilers Programming language implementation Functional languages Formal methods Compiler correctness Compiler Compcert Xavier Leroy Code generation Software Computing Compiler construction
135	Practical Limits On Software Dependability: A Case Study Patrick J. Graydon, John C. Knight, and Xiang Yin Add to Reading List Source URL: www.cs.virginia.edu Language: English - Date: 2010-03-18 12:19:03 Formal methods Software testing Software quality Systems engineering Software verification SPARK Formal verification Functional specification Requirement Software development Computing Software engineering
136	Cadence Design Systems Cadence enables global electronic design innovation and plays an essential role in the creation of today’s electronics. Customers use Cadence® software, hardware, intellectual property (IP), and expertise to design and Add to Reading List Source URL: www.cadence.com Language: English - Date: 2013-11-11 17:45:32 Integrated circuits Cadence Design Systems Digital electronics Electronic design automation Signoff Integrated circuit design OrCAD Functional verification Logic synthesis Electronic engineering Electronics Electronic design
137	PDF Document Add to Reading List Source URL: www.designers-guide.com Language: English - Date: 2010-06-22 21:13:04 Hardware description languages Hardware verification languages Integrated circuits Analog verification Integrated circuit design Functional verification Ken Kundert Verilog-AMS SystemVerilog Electronic engineering Electronic design automation Electronic design
138	PDF Document Add to Reading List Source URL: www.designers-guide.com Language: English - Date: 2012-01-12 17:24:05 Hardware verification languages Analog verification Electronic design Integrated circuits Verilog-AMS Ken Kundert E Functional verification Verilog Electronic engineering Electronic design automation Hardware description languages
139	PDF Document Add to Reading List Source URL: www.actel.com Language: English - Date: 2008-05-21 16:15:00 Hardware description languages Vectors Digital electronics VHDL Flip-flop Vector space Pulse-width modulation Functional verification Vector Algebra Electronic engineering Mathematics
140	PDF Document Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2008-08-08 17:06:52 Applied mathematics Cross-platform software Mathematical modeling Numerical software Simulation software Simulink Formal verification Functional verification Annotation Software Visual programming languages Theoretical computer science

UPDATE